Nuprl Definition : same-thread
11,40
postcript
pdf
same-thread(
es
;
p
;
e
;
e'
) == final-iterate(
p
;
e
) = final-iterate(
p
;
e'
)
latex
clarification:
same-thread(
es
;
p
;
e
;
e'
) == final-iterate(
p
;
e
) = final-iterate(
p
;
e'
)
es-E(
es
)
latex
Definitions
s
=
t
,
es-E(
es
)
,
final-iterate(
f
;
x
)
FDL editor aliases
same-thread
origin
es-E(es) es-E(es)